conjunctive normal form discrete mathematics tamil